Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
261	Microsoft Word - IITSEC-03-visual_behavior_authoring.doc Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2003-08-20 18:52:26 Computing Knowledge Artificial intelligence Behavior Human behavior Agent-based model UML state machine Simulation Actor model Scientific modeling Models of computation Science
262	Playing Pushdown Parity Games in a Hurry Wladimir Fridman Martin Zimmermann Chair of Computer Science 7 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-07-12 10:32:22 Graph theory Combinatorics Finite model theory Game theory Parity game Models of computation End Determinacy Graph Mathematics Theoretical computer science Automata theory
263	Blowup or no blowup? The interplay between theory and computation in the study of 3D Euler equations Thomas Yizhao Hou California Institute of Technology, USA Email: [removed] Whether the 3D incompressible Eule Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2014-10-23 02:26:26 Aerodynamics Navier–Stokes equations Random walk model of consumption Leonhard Euler Euler equations Fluid dynamics Mathematics Physics
264	The Grouped Author-Topic Model for Unsupervised Entity Resolution Andrew M. Dai and Amos J. Storkey Institute for Adaptive and Neural Computation, School of Informatics, University of Edinburgh, U.K. {a.dai,a.storkey}@ed Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 07:03:54 Statistical natural language processing Stochastic processes Machine learning Statistical models Natural language processing Latent Dirichlet allocation Dirichlet process Plate notation Mixture model Statistics Probability and statistics Probability
265	Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2005-11-11 05:43:22 Spanning tree Computer programming Models of computation Message Passing Interface Parallel computing Algorithm I/O Automaton Model checking Finite-state machine Computing Automata theory Theoretical computer science
266	Microsoft PowerPoint - LTL to Buchi.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Linear temporal logic Temporal logic Theoretical computer science Models of computation Büchi automaton Computer science Linear temporal logic to Büchi automaton Automatic sequence Automata theory Model checking Formal methods
267	When Training and Test Sets are Different: Characterising Learning Transfer Amos J Storkey Institute of Adaptive and Neural Computation School of Informatics, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-03-08 04:44:56 Machine learning Regression analysis Actuarial science Generative model Naive Bayes classifier Supervised learning Conditional probability distribution Instrumental variable Linear regression Statistics Statistical models Econometrics
268	CHI95UpdatedFontForProperPagination.FMD.fm Add to Reading List Source URL: kurlander.net Language: English - Date: 2008-06-20 13:42:08 Models of computation User interface management systems Computer animation ALGOL 68 Algorithm Finite-state machine Actor model Postcondition Parallel computing Computing Software engineering Computer programming
269	E. Bibliography [1] Abelson, Harold, and Sussman, Gerald Jay, Structure and Interpretation of Computer Programs. Cambridge, MA: MIT Press, 1985. Add to Reading List Source URL: www.erights.org Language: English - Date: 2004-12-04 19:43:51 Year of birth missing Actor model Concurrent computing Logic programming Prolog Barbara Jane Liskov Programming language Indeterminacy in concurrent computation Keith Clark Computing Software engineering Computer programming
270	Microsoft Word - qcif-report-jw-V3.doc Add to Reading List Source URL: www.accs.uq.edu.au Language: English - Date: 2013-12-01 22:19:34 Mathematical and theoretical biology Models of computation Systems biology Distributed computing Bioinformatics Computational model Nimrod Actor model Applied mathematics Science Computational biology